2

Incompleteness of first-order temporal logic with until

Year:
1988
Language:
english
File:
PDF, 1.06 MB
english, 1988
3

Symmetric Spin

Year:
2002
Language:
english
File:
PDF, 282 KB
english, 2002
5

A note on specifying and verifying concurrent processes

Year:
1984
Language:
english
File:
PDF, 593 KB
english, 1984
6

The correctness of nondeterministic programs revisited

Year:
1986
Language:
english
File:
PDF, 416 KB
english, 1986
7

Propositional description of finite cause-effect structures

Year:
1988
Language:
english
File:
PDF, 610 KB
english, 1988